منابع مشابه
The Complexity of Probabilistic Justification Logic
Probabilistic justification logic is a modal logic with two kind of modalities: probability measures and explicit justification terms. We present a tableau procedure that can be used to decide the satisfiability problem for this logic in polynomial space. We show that this upper complexity bound is tight.
متن کاملFirst steps towards probabilistic justification logic
In this paper, we introduce a probabilistic justification logic PJ, a logic in which we can reason about the probability of justification statements. We present its syntax and semantics, and establish a strong completeness theorem. Moreover, we investigate the relationship between PJ and the logic of uncertain justifications.
متن کاملOn the complexity of probabilistic justification logic
The logic PJ is a probabilistic logic over the basic justification logic J. In this paper we establish upper and lower bounds for the complexity of PJ. The main result of the paper is that the complexity of the logic PJ remains the same as the complexity of the logic J.
متن کاملJustification Logic
We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t:F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes to ...
متن کاملThe Logic of Justification
We describe a general logical framework, Justification Logic, for reasoning about epistemic justification. Justification Logic is based on classical propositional logic augmented by justification assertions t : F that read t is a justification for F. Justification Logic absorbs basic principles originating from both mainstream epistemology and the mathematical theory of proofs. It contributes t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Philosophies
سال: 2018
ISSN: 2409-9287
DOI: 10.3390/philosophies3010002